Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
121	Ioannis Koutis Education PhD 2007 : Carnegie Mellon University, Pittsburgh. Thesis: Combinatorial and algebraic tools for optimal multilevel algorithms. Advisor: Gary L. Miller. BSc/Diploma 1998: Computer Engineering and Add to Reading List Source URL: ccom.uprrp.edu Language: English - Date: 2014-07-01 12:20:56 Operations research Symposium on Parallelism in Algorithms and Architectures Multigrid method Mathematical optimization Algorithm Cut Symposium on Foundations of Computer Science Mathematics Applied mathematics Theoretical computer science
122	Quantum walks Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Probability and statistics Quantum mechanics Random walk Quantum walk Fair coin Statistical mechanics Continuous-time quantum walk Coin flipping Statistics Stochastic processes Physics
123	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
124	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
125	A brief overview of some recent quantum algorithms Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2013-05-20 16:27:50 Theoretical computer science Quantum phase estimation algorithm Quantum walk Mathematics Quantum information Computer science Quantum algorithms Quantum information science Applied mathematics
126	Weak multiplicativity for random quantum channels Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-01-12 05:34:55 Quantum information theory Quantum information science Quantum channel Von Neumann entropy Quantum state Separable states QMA Theoretical computer science Physics Quantum mechanics
127	A composition theorem for decision tree complexity Ashley Montanaro∗ Centre for Quantum Information and Foundations, DAMTP, University of Cambridge, UK. February 18, 2013 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2013-02-18 05:08:49 Communication Communication complexity Computational complexity theory Quantum complexity theory Quantum information science Convolution theorem Mathematics Mathematical analysis Calculus
128	Passionate people. Great ideas. A better skilled Australia. Language, literacy and numeracy – the foundations of Australia’s future Add to Reading List Source URL: www.tesol.org.au Language: English - Date: 2014-10-30 23:40:25 Mathematics education Literacy Numeracy Lifelong learning Adult education Skills for Life Basic skills Education Knowledge Cognition
129	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
130	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy

UPDATE